Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
991	Types and Hardware Description Languages. Tim Sheard February 16, 2007 Abstract Hardware description systems could beneﬁt from advances in programming language design. Recent research, in the area of rich type systems Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2007-02-16 18:28:43 Boolean algebra Procedural programming languages Data types Binary arithmetic Bitwise operation Cons ALGOL 68 Factorial Exclusive or Software engineering Mathematics Computing
992	Journal on Satisfiability, Boolean Modeling and Computation[removed] The First and Second Max-SAT Evaluations Josep Argelich [removed] Add to Reading List Source URL: jsat.ewi.tudelft.nl Language: English - Date: 2008-10-01 08:14:56 Logic in computer science NP-complete problems Boolean algebra Constraint programming Electronic design automation Maximum satisfiability problem Boolean satisfiability problem 2-satisfiability Resolution Theoretical computer science Mathematics Applied mathematics
993	Journal of Machine Learning Research[removed]3681 Submitted 4/12; Revised 7/13; Published[removed]Efficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming Add to Reading List Source URL: jmlr.org Language: English - Date: 2013-12-12 22:22:13 Propositional calculus Logic programming Logic in computer science Boolean algebra Automated theorem proving Constraint logic programming Resolution Horn clause Boolean satisfiability problem Logic Theoretical computer science Mathematics
994	To appear in E. Prouff, Ed., Constructive Side-Channel (COSADE 2014), Lecture Notes in Computer Science, Springer. Analysis and Add to Reading List Source URL: www.joye.site88.net Language: English - Date: 2014-05-30 13:17:52 Computing Numbers Boolean algebra Binary arithmetic Bitwise operation
995	On differentiation and homeostatic behaviours of Boolean dynamical systems⋆ ´ Elisabeth Remy and Paul Ruet CNRS - Institut de Math´ematiques de Luminy, Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2006-11-27 04:01:42 Group action Group theory Symmetry Derivative Fourier transform Mathematics Mathematical analysis Abstract algebra
996	Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework Élisabeth Remy∗, Paul Ruet∗, Denis Thieffry† 1 ∗ CNRS Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2008-01-17 04:49:29 Differential calculus Graph theory Group theory Graph Derivative Boolean network Jacobian matrix and determinant Group action Mathematics Mathematical analysis Algebra
997	Preprocessing and Inprocessing Techniques in SAT Armin Biere Institute for Formal Models and Verification Johannes Kepler University Linz, Austria Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2011-09-06 10:46:19 Automated theorem proving Logic in computer science NP-complete problems Boolean algebra Logic programming Boolean satisfiability problem Unit propagation Resolution Clause Theoretical computer science Mathematics Mathematical logic
998	Curriculum Vitae Name: Eugene (Evgueni) Goldberg Citizenship: Add to Reading List Source URL: eigold.tripod.com Language: English - Date: 2014-05-13 11:37:03 Formal methods Electronic design automation Boolean algebra Electronic design Electronic engineering Boolean satisfiability problem Model checking Solver Automated theorem proving Theoretical computer science Mathematics Applied mathematics
999	On the Incompressibility of Monotone DNFs Matthias P. Krieger∗ Johann Wolfgang Goethe-Universit¨at Frankfurt am Main Institut f¨ ur Informatik Lehrstuhl f¨ Add to Reading List Source URL: www.thi.informatik.uni-frankfurt.de Language: English - Date: 2010-11-03 11:40:59 Circuit complexity Computational complexity theory Boolean algebra Complexity classes Implicant Logic in computer science Boolean circuit Circuit ACC0 Theoretical computer science Mathematics Applied mathematics
1000	EJTP 4, No. 16(III[removed]–14 Electronic Journal of Theoretical Physics Multiboundary Algebra as Pregeometry Ben Goertzel∗ Add to Reading List Source URL: www.ejtp.com Language: English - Date: 2009-08-25 12:57:40 Algebraic structures Mathematical structures Linear algebra Group theory Boolean algebra Combinatory logic Vector space Outline of algebraic structures Clifford algebra Algebra Mathematics Abstract algebra

UPDATE